Making a default for the parameter of the main