Fix name comparison for switching workspaces.

Renaming a workspace to 'f' when there is a workspace 'foo' was not
possible before; it is now.