minor fix in len()