Trivial formatting cleanup (to be continued in a branch along with a potentially more substantive change).