fix issue in dmachine with regex vs static digits