very minor formatting fixes