Slight formatting fixes