Fixup comment: typos + I had the generalization rule backwards.