Fix bug in web interface.