Section 10.0 renamed to 8.0

I should have checked on that with the last commit, 7.0 -> 10.0 seemed odd.