Minor formatting change, nothing more.