Fixing another small numeral problem