Explicitly fflush stdout when prompting the user after a botched edit.

This should never be necessary, but it seems Linux, at least some
distros and versions, doesn't flush stdout upon getchar()....