Thanks (I'm rather new to Git!)

It's done now, I think this pull request is now complete.