Fix paper link
Fix text
Merge pull request #1 from drifkin/gh-pages

A couple of checker example fixes
Merge branch 'gh-pages' of github.com:scslab/cowl.ws