A few fixes and additions in the readme.