small tweaks in README