Fix CID 1134827
Merge pull request #813 from jvoisin/patch-6

Fix CID 1134827