Fixed bug remaining after changing front end names.