0.1.37 - Updated for Alloy 1.3.0