small fix for mysql schema update