Update target_definition.tex