switching back to muppets proprietary