Fix typo: "y := y-a*x" -> "y := y-r*x"