Small formatting corrections