This is totally trivial, and not worth holding up the merge for. I'm going to merge it in and just make the change myself :)

Thank you so much for the contribution!