disabled some debugging output