ToolKalmanFilterer: minor improvements