Gabriel Dos Reis wrote: >But it is buggy code! >Absence of warning is no indication that that things are OK. >There is no reason not apply the fix when we do know that: > (1) the current code is buggy; > (2) the fix is trivial and safe > > Ok with me! Paolo.