updated util.h