Updated standard output printing: now encoding 'utf-8' is forced explicitly.