Fix HTML name