A formatting fix