Better trick for outputting timezones in the API