tweaks to workspace.dart

@keertip