update spec for change to -> operator