update doc of .len(k)