Trivial style change.