Correction bug types.ml