Fix workbench spec