small refactoring in workspace-main.jade