Why is this addition (good though it looks) in this pull request?