Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision 4a26e39bc1a5a960a80381b8559a9632bfb86bb7)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision 84afc7bf42bf4b5e22750a7f377f4bfc31636630)
@@ -27,10 +27,10 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
 /**
  * @file
- * @brief	i8254 chip driver.
+ * @brief i8254 chip driver.
  *
  * Low level time functions.