Note on change in prefetch semantics