Attach (recommended) or Link to PDF file [here:]
[Ring 5_Final_low.pdf](https://github.com/mozilla/pdf.js/files/3033095/Ring.5_Final_low.pdf)


Configuration:
- Web browser and its version: Chrome Version 73.0.3683.86 (Official Build) (64-bit)
- Operating system and its version: MacOS 10.14.3
- PDF.js version: the problem is seen in https://mozilla.github.io/pdf.js/web/viewer.html?file= so I guess that is the newest one.
- Is a browser extension: no

Steps to reproduce the problem:
1. Load Ring.5_Final_low.pdf
2. Search for Hillerød
3. Check Highlight all
4. Go to page 13

What is the expected behavior? (add screenshot)
The word Hillerød should be highlighted twice

What went wrong? (add screenshot)
Some other words are highlighted.
![Screenshot 2019-04-02 at 10 59 26](https://user-images.githubusercontent.com/25570694/55390586-c77e0d80-5537-11e9-828f-362e9a51d85b.png)

Link to a viewer (if hosted on a site other than mozilla.github.io/pdf.js or as Firefox/Chrome extension):

/* Copyright 2018 Mozilla Foundation
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
import { setVerbosityLevel, VerbosityLevel } from "../../src/shared/util.js";
import { isNodeJS } from "../../src/shared/is_node.js";
import { PDFNodeStream } from "../../src/display/node_stream.js";
import { setPDFNetworkStreamFactory } from "../../src/display/api.js";
if (!isNodeJS) {
  throw new Error(
    "The `gulp unittestcli` command can only be used in Node.js environments."
  );
}
setVerbosityLevel(VerbosityLevel.ERRORS);
setPDFNetworkStreamFactory(function (params) {
  return new PDFNodeStream(params);
});