small fix of ml.js