fixed formatting of messages printed by UserConsole