small fix in Util.State