pick out push tokens properly