Fixed equations that didn't use x- for prediction.

In a few places the KF equations didn't use the x^- nomenclature
for the predicted value of x.