Removed deprecation warning (OCaml 4.01)