We should keep the checks for `args.length` above, otherwise we may get an obscure IndexOutOfBoundsException