Fix documentation after 35bac99

[skip ci]