correct HTIF reset behavior