hotfix: fix small compilation error
Merge pull request #257 from thomasgubler/hotfix

hotfix: fix small compilation error