rmindexlines was located at the wrong place
Authored by: fbb 2011-06-11
Parent: [r566]
Child: [r568]