minor fix in output printing