fix reify main example