This cast should be more precise.