Fix and improve "PrintString".

Fixed some problems in "PrintString" and changed it to ensure a line of
whitespace after each printed string.