(fix) Updated examples for Alloy move.