Bugfix in ARC