minor formatting corrections