Allocate just enough space

Remove the len()*2, and replace it with len()+1. The current
len() impl. of the types is good enough to be more precise.