Fixed a small bug in the Workspace class.