I already changed my own Woody version with the same modification for the same reason. So I think we need it.
Since it does harm nothing I think it is a good idea to add it.
Need we a VOTE, for this?
Na, not a formal vote for such a little change that does not even break somebody else's code. Just a few more opinions would be intereting. You have almost convinced me, I'm still only at -0.2 :)
Joerg
