better alignment of numbers in some tables