Corrections and clarifications in the README.