This is a good change, but it doesn't directly relate to this pull request. Moving forward it would best if this was extracted to a separate PR, but in this case there's no harm so don't worry about this.