Feature/minor fixes

Christoph Grüningerrequested to merge
feature/minor-fixes into master
  • fix a leftover include
  • remove some unused variables

Merge request reports