Fixes #187. Further corrections to javascript inlining