minor fixes to web pages