What's this change about? Doesn't seem related to the PR.