Fix silly HTML typo in the previous commit