modified display of theory names