fixes about_numbers.js