This change seems unrelated to the PR.  Any specific reason for including it here?