fix warning re. unsued parameter
Merge pull request #1006 from Jojo-Schmitz/warnings

fix warning re. unused parameter