Yes, this was done as part of another bug fix and looks like those commits got added to this pull request as well. But this should not affect the current bug in any way. I shall try to split the PR's up.