One case left in unlinearize_result.