Another slight formatting fix