Small bugfix that resulted from the removal of a default argument value