yet another documentation fix