small fixes to webserver and gnats