Fixing debugging statement