Fix a matrix incorrectness I introduced