Changed some server-side debugging statements