new version of appendo; terminate more often!