Fixes #4219
:thumbsup:
Great, thanks! :)
Jenkins is happy and so am I :)
Pull-Request has been merged by pingou
Fixes #4219