MT#4967 Fix html documentation.