some style fixes for workbench