bug fix of Typer.ml