fix #9334
Merge pull request #1264 from olivierdalang/fix_9334

fix #9334