Bugfix: the constructor with parameter should also initialize value (i.e. call the default constructor)