Documentation: fix