`format` does the correct thing