fix examples, thanks to #1