Some tweaks of the readme