Fix typo: "is is" to "is"

[hnakamur]

First of all, thanks for a fascinating book! I haven't finished reading yet but I am learning a lot already from your book.

This pull requests fixes a typo "is is" to "is".