BUG: tvtk_doc barfs on searching for text.

The tvtk_doc would barf when a user enters a search string.