DDoc: remove stray "
Merge pull request #1083 from NilsBossung/master

DDoc: remove stray "