Fixed for Alloy 1.0GA