Fix for kernel/sys.c