Update src/tracing.cpp

some minor naming corrections