Bug fix for kern_control.c