Fix bug in case introduced by new mysql module