Coverity Scan fix of issue #981137