Fix a whole host of obnoxious errors in EKF.