Fix a few issues in the README