minor formatting corrections.