[galaxy-commits] galaxy-dist commit 5f87abcf4854: fix for the menu item bug intriduced in changeset 4223:03d06d05bf62