This is an incorrect merge result.