Coverity CID 1444956: Integer handling issues