fixes

added `include` to first example, since one doesn't know how to run
files otherwise