Correct types.