Comment by shmerl

14 years old bug fixed. Congratulations! (I'm not sarcastic - it's always good when such bugs are fixed).