Minor formatting corrections