(Minor version history fixes.)