Yes. I don't think it really makes a difference.
Changing this now might lead to unnecessary
merge conflicts when pulling #44, where this
is changes to store the lenght, so I do not think
it is worth changing.