(fix) Updated for Alloy move.