Remove unnecessary cast in prefetch()