remove now-pointless examples