Fix minor coverity complaint