util.h fixes