minor bug fix with util