Fixes a compilation error in README.md