Minor formatting change...

(It still exists!)