Small correction in IDA notebook