Changed close to be the way to explicitally undo a redef.
`