Fixed typesetting of an include command in the Tracing TechNote