Fixed a warning in script.ml