minor formatting fixes