trivial formatting change