fixing up examples a bit, addressing #2451