Fixed issue with Disjointness constraints and generated HTML
documentation.