Some formatting corrections