Minor fix in the documentation

[skip ci]