Fixes #4036: Titles are duplicated in API doc
Merge pull request #8 from jooooooon/bug_4036/titles_are_duplicated_in_api_doc

Fixes #4036: Titles are duplicated in API doc