Tiny documentation fix
[ci skip]