Real fix for Coverity 1372362.