other quick fixes to README