A few minor tweaks and corrections to README