Fix build
Merge pull request #409 from Zahnstocher/patch-10

Fix build