fixed indexing problem
fixed another index problem (accidental swap of j and k)
no wait, that was right. but k starts at 3
fix import of correctness file