Not that this changes the text, which looks fine to me. But it could be worth keeping in mind for PR purposes.