Coverity CID 1444959: Integer handling issues