Changes after proofreading the README.