Some debugging output got removed