Fixed up uniqueness result.