Tiny formatting fixes.