fix docs on mysql charset