slight formatting corrections