some more formatting corrections