Give Ville the credits for his patch

As I used git-am, I could not include this change in the previous
commit, unless I modified the patch to include this change :)