Fix a comment.
Missed an important case in [add].

We know how to perform
  P = P * ?x = y
even though ?x is flexible.