Extra double quotes at the end of comment

Hi, I think there are extra double quotes mistakenly added at the end of a comment.
Let me know if the change is appropriate.

And congrats for the book, it is really helpful.