Minor bugfixes for latest overseer