Fix small bug in AutoSectionNumber