Try to make the comments consistent with the type system we'll eventually have.
Thanks Andrew Owen for reporting this typo.