small fix to output format