Yes I thought about doing this, but since it happened in the middle of everything I probably do it separately once your pull is merged.