Clean up a few comments after #11 merge.

No match.