Bugfix in UniversalObjects.gi