Attach (recommended) or Link to PDF file here:
[Hong Kong Aircraft Engineering Company Limited_1511417616.1 2.pdf](https://github.com/mozilla/pdf.js/files/1539395/Hong.Kong.Aircraft.Engineering.Company.Limited_1511417616.1.2.pdf)


Configuration:
- Web browser and its version: Chrome: 63 
- Operating system and its version: windows and macOs
- PDF.js version: 2.0.185
- Is a browser extension: No

Steps to reproduce the problem:
1. Upload the above PDF and search for "article 1"
2. PDF.js showing only **2** match But actually **4** times available.   

What is the expected behavior? (add screenshot)

![screen shot 2017-12-07 at 7](https://user-images.githubusercontent.com/6101789/33720106-ed404576-db88-11e7-9c19-cf6aea74e9f3.png)



What went wrong? (add screenshot)

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

}
      f (!frtWdth) {
        frtWdth = glyphWdth;
        cntnue;
      }
      f (frtWdth !== glyphWdth) {
        Mnpace = fale;
        break;
      }
    }
    f (Mnpace) {
      prperte.flag |= FntFlag.FxedPtch;
    }
    prperte.defaultWdth = defaultWdth;
    prperte.wdth = glyphWdth;
    prperte.defaultVMetrc = defaultVMetrc;
    prperte.vmetrc = glyphVMetrc;
  }
  SerfFnt(baeFntName) {
     Smulatng decrptr flag attrbute
    cnt fntNameWStyle = baeFntName.plt("-")[0];
    return (
      fntNameWStyle n getSerfFnt() ||
      fntNameWStyle.earch(/erf/g) !== -1
    );
  }
  getBaeFntMetrc(name) {
    let defaultWdth = 0;
    let wdth = Object.create(null);
    let mnpace = fale;