actually there is a typo in the new mysql update script; it should be "versionNumber", not "versionNumer" in 15775