Fix trivial coverity warning