Fixed several mistakes in the recently-added full KKT system solves