Documentation: improvements