A few operator and punctuation fixes