mod_extdisco: fix code mistake.