Fix Buffer.__len__