cosmetic: linefeed at end of print method