mpi_core_ct_uint_table_lookup: style and docs

Signed-off-by: Janos Follath <janos.follath@arm.com>
diff --git a/library/bignum_core.h b/library/bignum_core.h
index 3618e42..ccccebb 100644
--- a/library/bignum_core.h
+++ b/library/bignum_core.h
@@ -453,17 +453,16 @@
                                          const mbedtls_mpi *N );
 
 /**
- * Select an MPI from a table without leaking the index.
+ * Copy an MPI from a table without leaking the index.
  *
  * \param dest              The destination buffer. This must point to a writable
  *                          buffer of at least \p limbs limbs.
  * \param table             The address of the table. This must point to a readable
- *                          array of \p count elements of
- *                          \p limbs limbs each each.
- * \param limbs             The length of a table entry in limbs.
- * \param count             The number of elements in \p table.
- * \param index             The secret table index to look up. This must be in the
- *                          range `0,..,count-1`.
+ *                          array of \p count elements of \p limbs limbs each.
+ * \param limbs             The number of limbs in each table entry.
+ * \param count             The number of entries in \p table.
+ * \param index             The (secret) table index to look up. This must be in the
+ *                          range `0 .. count-1`.
  */
 void mbedtls_mpi_core_ct_uint_table_lookup( mbedtls_mpi_uint *dest,
                                             const mbedtls_mpi_uint *table,