case of non-empty default