removed forgotten debug printf