What's the point of `len` in these lines? Why isn't it necessary any more?