Fix the recent %vector-widetag-and-n-bits change.