some minor formatting fixes