To sum up, according to the doc the version is correct, but do we actually want to change it? Personally I don't mind