Fixed an error in util.bash.