Fix tools.trace