Fix forgotten cardinal