add debug to catch bug #9