On Tue, Jun 08, 2004 at 03:17:11PM +0200, Barry Bouwsma wrote: [...] > What it does is to put a space at the end of the printed line, > thereby erasing any character that may be left over. Committed. Monty