Minor formatting bug