fixing bug error in line 87 (or other) because the |--> was not closed properly