Where my explanation of Grover's Algorithm failed