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. Fixes #3318.