typo
Fix default size of the generated identifiers.
Some labels updated.