Small modifications to the gui webserver