Fix an unfortunate mis-conversion: sometimes "print x," must be

converted to "print(x, end=' ')", but other times it must be converted
to "print(x, end='')".  There's no easy way to find out, because it
depends on whether x ends with a newline.  I'm sure I'll find more
like this.