another slight formatting fix