OK.
So this pull request looks perfect!