Typofix.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
Merge remote-tracking branch 'origin/master' into fix#7704
some fixes
I think this finally fixes the bug