remove what was supposed to be a debug printf() during development