delete some stuff pertaining to maude