Small fix-ups and edits of the README