Minor coverity fix