Minor formatting change. See #223