Small change to Util.