Kan mijn database niet exporteren vanuit mysql workbench

Voer in MySql Workbench versie 8.0.13 de volgende stappen uit:

1. Ga naar Beheer/Gegevens exporteren
2. Kies het te exporteren schema in de lijst 'Te exporteren tabellen'
3. Klik op de knop 'Geavanceerde opties...' (rechtsboven)
4. Zoek naar de optie 'Overige/kolomstatistieken'
5. Stel de waarde in op 0
6. Klik op de knop 'Retourneren' (rechtsboven)

Nu zou het moeten werken. Helaas moet u dat elke keer doen als u MySql Workbench start.