Updated a signature in util.h