Fix broken redirect referenced in IDA contracts