Fix a missing return

Makes coverity happy
Merge pull request #802 from jvoisin/patch-4

Fix a missing return