Check in a long-misplaced spec update.