small fix for new version of clint

small fix for new version of clint