Fix CID 1134841
Merge pull request #815 from jvoisin/patch-8

Fix CID 1134841