No special reason. I wasn't aware that 'DEFAULT' is a valid parameter
here. Just checked what a database created without this parameter had as
a value, and chose this.
A.