minor fix in output format