Index: generic/include/arch.h
===================================================================
--- generic/include/arch.h	(revision b6d4566fc9565b3a6eff5c6344350e4dbf778359)
+++ generic/include/arch.h	(revision ff75d3461d47855390b19a32cc04d25d47a28c74)
@@ -46,5 +46,5 @@
  * For each possible kernel stack, structure
  * of the following type will be placed at
- * the bottom of the stack.
+ * the base address of the stack.
  */
 struct the {
Index: generic/include/mm/buddy.h
===================================================================
--- generic/include/mm/buddy.h	(revision b6d4566fc9565b3a6eff5c6344350e4dbf778359)
+++ generic/include/mm/buddy.h	(revision ff75d3461d47855390b19a32cc04d25d47a28c74)
@@ -35,5 +35,5 @@
 #define BUDDY_SYSTEM_INNER_BLOCK	0xff
 
-/** Buddy system operations to be implemented by each implementations. */
+/** Buddy system operations to be implemented by each implementation. */
 struct buddy_system_operations {
 	link_t *(* find_buddy)(buddy_system_t *, link_t *);		/**< Return pointer to left-side or right-side buddy for block passed as argument. */
@@ -43,5 +43,5 @@
 	__u8 (*get_order)(buddy_system_t *, link_t *);			/**< Return order of block passed as argument. */
 	void (*mark_busy)(buddy_system_t *, link_t *);			/**< Mark block as busy */
-	void (*mark_available)(buddy_system_t *, link_t *);			/**< Mark block as busy */
+	void (*mark_available)(buddy_system_t *, link_t *);		/**< Mark block as busy */
 	/** Find parent of block that has given order  */
 	link_t *(* find_block)(buddy_system_t *, link_t *, __u8);
Index: generic/include/synch/futex.h
===================================================================
--- generic/include/synch/futex.h	(revision b6d4566fc9565b3a6eff5c6344350e4dbf778359)
+++ generic/include/synch/futex.h	(revision ff75d3461d47855390b19a32cc04d25d47a28c74)
@@ -38,7 +38,7 @@
 /** Kernel-side futex structure. */
 struct futex {
-	__address paddr;	/** Physical address of the status variable. */
-	waitq_t wq;		/** Wait queue for threads waiting for futex availability. */
-	link_t ht_link;		/** Futex hash table link. */
+	__address paddr;	/**< Physical address of the status variable. */
+	waitq_t wq;		/**< Wait queue for threads waiting for futex availability. */
+	link_t ht_link;		/**< Futex hash table link. */
 };