A few trivial changes to the repo README