Even if the dot/comma error occurred, he still had to manually enter all the numerals to space it out