Bug fixes in output formatters