Clarified format of iOS device token