Fix Trac #T4136: take care with nullary symbol constructors