jeep_daddy wrote:
To fix it one time, just open the first image in the Develop module, correct the lens profile to the right one, then select all the rest of the images, (Ctrl/A) and then Sync them. This will correct all of them now. But in the future, make a preset with the proper lens profile and when you import the images taken while using that lens, enact that profile upon import and they will automatically have the correct lens profile right from the start.
This is what have done, but sometimes I might be using several lenses on the same day so using a predefined preset would not a good idea.