hack to have a proper default value