Minor fixes to the readmen