Remove redundant XML comments

fixes #1673