Fixing issue #2 due to a wrong instantiation of traces