Small bugfix in the UtilFile