cleanup; assertions