minor fix in workspace settings