Some details corrected in the README.