Fix some comments

No functional change.

Resolves #123