Traceur: tiny fixes