Minor formatting change in spec