Some minor formatting fixes