Clarifies a couple points in autoincrement_stats.py