Minor formatting mistake