Minor formatting correction