Fix CID 1134935
Merge pull request #820 from jvoisin/patch-10

Fix CID 1134935