proper default value