Fix the build after #783 broke it
Merge pull request #785 from iHiD/fix_the_build_after_783

Fix the build after #783 broke it