Merge "Fix build error from diamond merge"