Update index.mdx

docs/verify/index.mdx

@@ -11,7 +11,7 @@ Because the cost of classically simulating quantum circuits scales exponentially
 - Test smaller versions of the circuits that can be simulated classically.
 - Modify the circuits so that they become classically simulable and test these modified circuits.
 
-Stabilizer circuits are a useful tool for accomplishing this latter goal. These are a restricted class of quantum circuits that can be efficiently simulated classically. Specialized simulators can easily simulate stabilizer circuits with thousands of qubits. See [Efficient simulation of stabilizer circuits with Qiskit Aer primitives](stabilizer-circuit-simulation) for an overview of stabilizer circuits and how to simulate them efficiently.
+Stabilizer circuits are a useful tool for accomplishing this latter goal. These are a restricted class of quantum circuits that can be efficiently simulated classically. Specialized simulators can easily simulate stabilizer circuits with thousands of qubits. See [Efficient simulation of stabilizer circuits with Qiskit® Aer primitives](stabilizer-circuit-simulation) for an overview of stabilizer circuits and how to simulate them efficiently.
 
 For general quantum circuits, the following tools are available for you to verify your quantum programs: