hopefully final workspace delete