JFK-SJU terminal glitch
I have a JFK-SJU flight tomorrow and the boarding pass printed with JFK terminal 4 and the website in the My Trips section says JFK terminal 2. I know from past experience that the JFK-SJU N/S flights depart from terminal 4 at JFK. Please fix this obvious glitch!