Fix HTML build.