Correct formulation in the README.