Rename MaxCounter -> MaxPosInt in the places I forgot.