Fix minor error in comment