Simplify examples (thanks @maxogden)