removed debug printf()