documentation fix
3.25.1