runtime.js: remove double space

sorry, this really bugs me
Merge pull request #1506 from jonathanong/patch-1

runtime.js: remove double space