Small adjustments in READMEs