De este modo incorpora a los títulos de la Corona de Castilla el título de Rey de Gibraltar.