Trivial Coverity fix