small fix on mysql restore syntax