Small fix concerning formatters