removed debug printf