In echo_tree.py: made DB lookup safe for Unicode-containing characters.