Improvements to the WWW interface.