Some additions to Util.