Fixed problem that caused Workbench to stop functioning