fix bug in output formatters