I wouldn't sweat it.
SMB1 uses one font for the entire game, and in the font for the game the numbers 3 and 4 were changed resulting in the same asset used in the Super Lucas Bros ROMHack.
We are talking about 6 pixels changed at most, also his ROMHack is quite potentially newer than this translation either way.