Fix breaking changes from Alloy 1.1 -> 1.3