bugfixes in doc, summary.violatedEdits