documentation: yet another fixes