Some fix-ups in the Readme