So if they made a director's cut that was shorter than the theatrical release, even better.