Text message notifications are set via Facebook's notification settings page... so this all looks valid? Sounds like they opted out of getting text messages, and then still got one. Not sure where you are reading "push notifications" into this.