Small bugfix in the constructor: Make use of default value