Documentation to fix #6300