Are these extension changes needed for this pull request?