Add missing `len`