changed formatting of messages printed in UserConsole