Update util.h