Minor formatting issue