fix typo in prefetch.h