Minor fixes to web pages