Allow deletion of terminals if Extension is empty