Fix CID 1134830
Merge pull request #814 from jvoisin/patch-7

Fix CID 1134830