This change seems unrelated. What's it for?