Fix comment typos (repeated "is").
Merge pull request #144 from jmm/comment-typos

Fix comment typos (repeated "is").