Fix conflict with Alloy 1.1.0