minor bugfix in util