diff --git a/core/arch/arm/kernel/elf_load.h b/core/arch/arm/kernel/elf_load.h
index f5db7081d2c..01b607af938 100644
--- a/core/arch/arm/kernel/elf_load.h
+++ b/core/arch/arm/kernel/elf_load.h
@@ -71,9 +71,10 @@ struct user_ta_store_ops {
 	/*
 	 * user_ta_store_ops instances are kept in a list ordered by priority.
 	 * Higher priority instances are tried first when a TA is looked up.
+	 * @priority lower value means higher priority
 	 */
 	SLIST_ENTRY(user_ta_store_ops) link;
-	int priority; /* Lower value means higher priority */
+	int priority;
 };
 
 TEE_Result elf_load_init(const struct user_ta_store_ops *ta_store,
diff --git a/core/arch/arm/kernel/user_ta.c b/core/arch/arm/kernel/user_ta.c
index 6310663e602..57ab6e63f60 100644
--- a/core/arch/arm/kernel/user_ta.c
+++ b/core/arch/arm/kernel/user_ta.c
@@ -606,7 +606,7 @@ TEE_Result tee_ta_register_ta_store(struct user_ta_store_ops *ops)
 	SLIST_FOREACH(e, &uta_store_list, link) {
 		/*
 		 * Do not allow equal priorities to avoid any dependency on
-		 * registration order
+		 * registration order.
 		 */
 		assert(e->priority != ops->priority);
 		if (e->priority > ops->priority)