minor correction on linefeed()