[CS] Simpler termination of Stream