doc: fix wrong MySQL version

Reported by _so4. Thanks!!!