use correct types