updated for Alloy 1.0.0