Fix #774
Merge pull request #775 from emmanuel-keller/1.5

Fix #774