small fix for mysql schema update
Merge branch 'master' into nicraM