Commented out a debug printf