Fix #1202
Merge pull request #1205 from emmanuel-keller/master

Fix #1202