Fix up formatting. No functional change.