Fix detailed mysql error description (issue #4235)