Re: [Phpmyadmin-devel] Little patch for little bug