Are The Muppets and Smith! both films?