Fix workbench aliasing bug