Tiny formatting fixes