Correct types of returned values.