fix examples so they actually work