RMRExplorer: GUI changes