getting rid of some debugging messages