fix #16: properly dispatch get_text_box