restored printing for enumerable forms