Removed debug printf()