fix another renaming bug