Fix digit grouping change: compare with 128, not 256
Add Tey to the credits