gsmendoza/verified_double — pull request #29 by jasonong (2013-12-24 04:58:54+00:00)
Title: Fix typo.

Fixed extraneous words. :)