another debug printf warning