Coverity CID 1444961: Integer handling issues