[BUGFIX] Old closing tag used in doc-comments

Fixes: #498