* engine.ml: better error msg