Fix small MySQL bug with numerical database names