Right.
As has been repeatedly explained year after year, back when the 13th month was virtually always paid, pay rates for staff based outside HKG were adjusted to always include the 13th month payment added to their 12 monthly payments, which always happens even when the 13th month is not paid to HKG based staff.
The fact that this doesn't seem so anymore is just another example of...well, you know.