Fix mysql patch typo