Updated examples.wk