spec: next pseudo IMSI SMS lost: better wording
Remove the obvious and also weirdly worded part of the sentence.
diff --git a/docs/imsi-pseudo-spec.adoc b/docs/imsi-pseudo-spec.adoc
index 3d6a86b..0daf6e5 100644
--- a/docs/imsi-pseudo-spec.adoc
+++ b/docs/imsi-pseudo-spec.adoc
@@ -454,9 +454,8 @@
If the SMS with the next pseudonymous IMSI does not arrive, the SIM/USIM will start
the next Location Updating Procedure with the old pseudonymous IMSI. Because
the HLR/HSS has both the old and the new pseudonymous IMSI allocated at this point,
-the subscriber is not locked out of the network. The HLR/HSS does not deallocate
-the new pseudonymous IMSI that did not arrive, but instead send it again
-(<<next-pseudo-imsi-timer-expires>>).
+the subscriber is not locked out of the network. The HLR/HSS sends the same next
+pseudonymous IMSI again (<<next-pseudo-imsi-timer-expires>>).
=== Next Pseudonymous IMSI SMS Arrives Out of Order