Fix HTML documentation