Issue #127: Fix some comments.