Trivial improvements to the readme.