Updated for Alloy 1.1.0