More small tweaks to the README