Minor changes in the plainvm.js