17: avoid possibly empty ERE