fixes for Jelly.js and js module definitions