Trivial formatting fix.