The changes to this file seem unrelated. Are they accidental?