Renamed oldrepex -> repex, and minor bugfixes.