Another quick formatting fix