fixed bug: forgotten debug output