Fixed for Alloy 1GA