Minor formatting fix. No functional change.