KalmanFilterer: improved Example code