A few minor changes to README