some more typos
Better printing of numbers in FTL