more minor formatting fixes.