typo: agreement of the verb
show the actual output in the trace example