minor tweaks of the README