delete: forgotten debug output