Minor documentation cleanups
Also run "wip-travisci" branch via Travis CI