fixing name ailiasing problem that steve pointed out for AGREE