remove old dummy examples, update formatting