Fix bug, add .mli