Update finalizer.scrbl