Fixed a compilation error, and extended the README.