correct highlight in searchDoc (closes #3974)