Hi Franco,
You're running a fairly old version of Galaxy - the main Galaxy tool shed
tracks the galaxy-dist repository on bitbucket. You should upgrade to the
latest dist release which went out today - the change set is 8286:f364d992270c.
We'll take a look at reproducing this behavior first thing tomorrow with the
dist revision to ensure there are no problems using your steps below. If we
discover any issues we'll let you know.

___________________________________________________________
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
http://lists.bx.psu.edu/