fix debugging statements