Correcting "make html" errors