Coverity CID 1444954: Integer handling issues