bugfix for crash in workbench