Trivial printout typesetting change.