fix bug in utility.hpp