minor updates to mysql workbench file