mozilla/pdf.js — pull request #3320 by timvandermeij (2013-06-02 21:52:29+00:00)
Title: Fixing #3318

Trivial, but useful to get right since the 'hello world' example is the first thing to look at when becoming familiar with pdf.js.