minor update about mysql