Documentation fix[skip ci]