Remove debug output

Deleted a stray debug printf().