Fix bug in numbers.php