change back to TheMuppets repo