JavaScriptVM: minor tweaks