Fixes #3657
Missing a space before the smiley ;-)
Going to fix and merge this manually :)
Commit e21d7ac9 fixes this pull-request
Pull-Request has been merged by pingou
Fixes #3657