Minor code-formatting change.