More minor tweaks to README