Some more formatting corrections