Fix avail_ptr distortion in the case of WAR