use the correct types