minor formatting fixes.