Remove a couple of stray lines from the EKF code...