diff --git a/library/GSM_RR_Types.ttcn b/library/GSM_RR_Types.ttcn
index 675271f..26783f9 100644
--- a/library/GSM_RR_Types.ttcn
+++ b/library/GSM_RR_Types.ttcn
@@ -231,6 +231,7 @@
 		 variant "FIELDORDER(lsb)"
 	};
 
+	/* TS 24.008 10.5.1.4 "Mobile Identity" */
 	type record MobileIdentityLV {
 		uint8_t		len,
 		MobileIdentity	mi
diff --git a/library/RLCMAC_CSN1_Types.ttcn b/library/RLCMAC_CSN1_Types.ttcn
index fbd01d4..9a7c867 100644
--- a/library/RLCMAC_CSN1_Types.ttcn
+++ b/library/RLCMAC_CSN1_Types.ttcn
@@ -185,7 +185,11 @@
 	};
 
 	/* 11.2.10 Packet Paging Request */
-	type record MobileIdentityLV {
+	type record MobileIdentityLV_Paging {
+		/* Note that the size of 'len' differs from that of the Mobile Identify IE
+		 * as defined in 3GPP TS 24.008 10.5.1.4 "Mobile Identity"; Paging Requests
+		 * use only 4 bit to encode the length of a mobile identity, whereas the IE
+		 * uses a byte. */
 		uint4_t			len,
 		octetstring		mobile_id
 	} with { variant (len) "LENGTHTO(mobile_id)" };
@@ -193,7 +197,7 @@
 		BIT1			presence ('0'B),
 		BIT1			ptmsi_or_mobile_id,
 		GsmTmsi			ptmsi optional,
-		MobileIdentityLV	mobile_identity optional
+		MobileIdentityLV_Paging	mobile_identity optional
 	} with {
 		variant (ptmsi) "PRESENCE(ptmsi_or_mobile_id = '0'B)"
 		variant (mobile_identity) "PRESENCE(ptmsi_or_mobile_id = '1'B)"
@@ -202,7 +206,7 @@
 		BIT1			presence ('1'B),
 		BIT1			tmsi_or_mobile_id,
 		GsmTmsi			tmsi optional,
-		MobileIdentityLV	mobile_identity optional,
+		MobileIdentityLV_Paging	mobile_identity optional,
 		ChannelNeeded		chan_needed,
 		BIT1			emlpp_prio_present,
 		uint3_t			emlpp_prio optional