EES now handles both original and typo-corrected versions of error for PDF failing to be indexed (RM#3614).