Fix compilation error
Merge pull request #641 from emmanuel-keller/1.5

Fix compilation error