Technical tweaks in the readme