Bug in Servo Library

Hi,
I'm using the servo library, and I've finding that detach() method doesn't work as in the reference. I've reading some post about it. It seems that the timers aren't reseted by this method for using PWM output on the pins 9 and 10.
And I've found something in the library code to be changed.
In the Servo.cpp, in the finISR function (that is used for disable the timer) there is no code for doing that for Arduino board.

...
#else
    //For arduino - in future: call here to a currently undefined function to reset the timer
    TCCR1B = 0;
    TCCR1B=_BV(CS11);
    TCCR1B=_BV(CS10);
    TCCR1A=_BV(WGM10);
    TIMSK1=0;
#endif

After a few trials, it seems working. I think it may be included in source code.

Important Notice, top of this section: