I think the len is spurious here...