small bugfixes; SessionWorkspace -> SessionDirty