Minor formatting fix