Fix bad use of ARGV