Re: [Galaxy-user] galaxy problems