Fix MySQL option setting