Minor documentation fixes in README and in program