small update for string_util.h