Eliminate some redundancy in the readme.