Fix formatting. No functional change.