Fix array bounds violation in the solver. Oops.