Another tiny formatting fix