Fix one crash in the new Ctrl-Find feature (option lists can, unfortunately, be

terminated with a 0-length option string).
There still another crash I'm investigating that occurs if you type a string
that isn't found. It appears to deref past the end of the option array.