I believe that the ticket should stay addressless. I do not believe this is a blocker for 1.3 and as such should wait until 1.3.1. The argument against checking the profile is that the ticket is already adressless on the MS side of the universe.