Slight difference in pretty formatting.