fix gui.php