runtime.js: remove double space

sorry, this really bugs me