Fixing a few bugs with average-number