Fixed a wrong return type.
Merge pull request #564 from BenMorel/f834c37f8a465ca3e23ee9ae62ef0bc4a525454c

Fix a wrong return type