Corrected a bug in the html interface.