Correction of RMI.txt