Comment 5 for bug 163031

Thanks, put-char also exhibited the same thing. Now fixed in revision 1132.
I guess I got confused since write-char takes a char then a port, but put-char takes a port then a char!