fixed for kern/ev.c :)