gogotanaka/Hilbert — pull request #63 by benjamingr (2014-11-18 12:50:01+00:00)
Title: Correct "TURE" to "TRUE"

Not a biggie, just a typo