Actually remove the elaborator