Fix a small error in the html generator