small change of petit-mistral.js