Fixing up the workspace

This does not mean anything...