K 10 svn:author V 3 jhb K 8 svn:date V 27 2002-10-29T19:08:55.000000Z K 7 svn:log V 109 Add a missing newline to the end of a device_printf(). Reported by: Michael G. Petry END