Tweak a few places in the README