fix a variable name mismatch in util.sh