Fix hack in numericNames