A slight formatting fix