missed correction to alloy.js