Corrections and additions to the README