Fix bug #444

https://sourceforge.net/p/phppgadmin/bugs/444/