Index: /trunk/include/VBox/vmm/pdmdev.h
===================================================================
--- /trunk/include/VBox/vmm/pdmdev.h	(revision 87796)
+++ /trunk/include/VBox/vmm/pdmdev.h	(revision 87797)
@@ -5827,5 +5827,5 @@
 
 /** @def PDMDEVINS_2_RCPTR
- * Converts a PDM Device instance pointer a RC PDM Device instance pointer.
+ * Converts a PDM Device instance pointer to a RC PDM Device instance pointer.
  */
 #ifdef IN_RC
@@ -5836,5 +5836,5 @@
 
 /** @def PDMDEVINS_2_R3PTR
- * Converts a PDM Device instance pointer a R3 PDM Device instance pointer.
+ * Converts a PDM Device instance pointer to a R3 PDM Device instance pointer.
  */
 #ifdef IN_RING3
@@ -5845,5 +5845,5 @@
 
 /** @def PDMDEVINS_2_R0PTR
- * Converts a PDM Device instance pointer a R0 PDM Device instance pointer.
+ * Converts a PDM Device instance pointer to a R0 PDM Device instance pointer.
  */
 #ifdef IN_RING0
Index: /trunk/include/iprt/cdefs.h
===================================================================
--- /trunk/include/iprt/cdefs.h	(revision 87796)
+++ /trunk/include/iprt/cdefs.h	(revision 87797)
@@ -807,5 +807,5 @@
 
 /** @def RGPTRTYPE
- * This will become RCPTRTYPE once we've convered all uses of RCPTRTYPE to this.
+ * This will become RCPTRTYPE once we've converted all uses of RCPTRTYPE to this.
  *
  * @param   a_RCType    The RC type.