Fix JsDoc typo in WorkbenchPanel