updated mysql spec