Add some missing tracing documentation