Bugfix in Ada generator