minor web gui tweaks
minor web gui tweaks