Forgotten debug printf