Fix workspace top bar.
Merge pull request #37 from ngodfraind/fix-workspace-topbar

Fix workspace top bar.