removed redundant (already commented) include of util.h