Error on Debug output

Error on line 293 of the .ino 
//DEBUGP(uint16_t x = (freq+1) * 2; // original error
Must be :
  DEBUGP(uint16_t x = (freq+1) * 8; // Invert freq_to_timerval function and print 35 to 40 Khz carrier frequency as it should
  
  But, the TV B Gone  does'nt anything on my Sony TV, the IR is 940 nm, i should verify