minimal formatting corrections