Don't use the undocumented property before it is set

This actually avoids addition of params of symbols that are not
part of the API.