Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision 02fe42eab26cc91005346883f5d0a8462d0ef248)
@@ -77,5 +77,5 @@
 }
 
-/**< Clear input buffer. */
+/** Clear input buffer. */
 static void i8042_clear_buffer(i8042_t *dev)
 {