removed two lines of debugging output