trivial formatting/spelling correction