Tiny change to converted region trace code.