[Plugin: WP-dTree] Changing “Category” or “Pages” heading

I’ve just installed WP-dTree and I find it fits my needs perfectly except that I’d like to be able to change the heading “Categories” or “Pages” as it appears in the widget to something different. Is there a way to do this and how would I go about it? Is this something that could be integrated into a future version of the plugin?