A few README corrections