Broadway: Small fix for a destructor