correct types problem