Debug option in configuration file broken ?

Hello,

it looks like the CVS version of the Navigator does not take into 
account
the DEBUG option set in the configuration file.

On line 95, the option is correctly read:

    $DEBUG = TRUE if $ENV{W3C_VALIDATOR_DEBUG} || $CFG->{DEBUG};

but later, on line 226, this variable is reset by

    $DEBUG = $File->{Opt}->{Debug};

So even if the configuration file asks for the DEBUG information to be
printed (as is the case presently in the CVS), it will not be displayed 
as
long as it is not required as by CGI parameter.

Would it make sense to change line 226 for

    $DEBUG ||= $File->{Opt}->{Debug};

so that the debug mode is turned on as soon as it has been requested
(whatever the manner, configuration file, environment variable or CGI
parameter) ?

Frédéric