Small changes in web GUI.