Does this change belong in this PR? Seems to be unrelated. Did you mean to leave it?