more sensible formatters for time axis