[galaxy-dev] Small icon bug in local galaxy install

A few of our local galaxy installs have a relative folder path (i.e. in universe_wsgi.ini, "prefix = /galaxylab") . In the Admin tab, "Manage installed tool shed repositories", the icons in the legend below aren't showing because they have an absolute url:

<img src="/static/june_2007_style/blue/ok_small.png" />

I can see in the galaxy-central/lib/tool_shed/galaxy_install/grids/admin_toolshed_grids.py code:

return '<img src="/static/june_2007_style/blue/ok_small.png" %s/>' % latest_revision_tip_str

Our /galaxylab is on galaxy changeset: 11247:a9a0ac9c1afa

So I presume this code should be enhanced to get the prefix in there, or made a relative url?

Regards,

Damion