Some more tweaks of the readme