Definition usage.
Objectives fix.
Removal of double reporting.
Check for verb removal.
Merge pull request #4359 from Segrain/master

Bugfixes.