do_shortcode for widget to enable shortcodes in location

Any possibility you could incorporate a small change in your widget.php to enable usage of shortcodes in the location field?

I am the author of the WPGeocode plugin – which exposes reader geolocation data and I would like to be able to populate the value of your widget location field with shortcodes (eg: [wpgc_city],[wpgc_state_code],[wgpc_postal_code])

This would enable creation of a map widget which displays a pin for the incoming user.

Line 54 of widget.php change to:
$instance[$key] = do_shortcode($value);

http://wordpress.org/extend/plugins/comprehensive-google-map-plugin/