Fix “deprecated since 0.8” to “since 1.8”