True, that may be the case. Maybe that other translations of that text show more detail.
On a related note, I just received an SMS that miles have been credited - and indeed the first 3K miles have been received.
WE WOULD LIKE TO INFORM YOU THAT 3,000 MILES HAVE BEEN ADDED TO YOUR MILES BONUS ACCOUNT XXXXXXXXXX, FOLLOWING YOUR TICKET CHANGE. TAKE CARE NOW, TAKE OFF TOGETHER LATER!