Bugfix in ObjCore 4.0