Coverity fix: CID-752758.