correct types now in comparisons