Weird renaming bug