Minor bugfixes in Badger::Workspace