DDoc: remove stray "