more minor formatting fixes