Workspace folder deleted.

Due to a mistake from the previous commit, I didn't delete the
workspace.