fixing an error in console.ml