more debugging statements