fix a bug (change precedence of default value and user-specified value)