Missing code for paddle.js to fix #7