Merge "Fix documentation HTML."