bugfix to alloy compiler