Remove forgotten debug printf