There is probably some default value for this, that needs to be made more explicit