Updating maxclausecount article with Igor's suggestion.