trivial formatting fix