Trivial formatting tweak