Remove an imprecision in the README