Eli Friedman <eli.friedman at gmail.com> writes: > Somebody else sent an email to me about this last night; fixed in > r138974. Sorry about the delay. Thanks Eli! -Dave