This was supposed to make sure that argv[1:] does not fail, but Python actually allows mismatching bounds for slicing.