Fix a tiny bug in the README