typo in the workbench config

Just a small typo in the workbench config.