Coverity fix #3590