Fixed syntax in binop checker