Complement missing errors.mli