Fix a few mistakes in the README.