bugfix in TracingView