Minor changes to README, etc.