Bugfix in ADD_KERNEL_RIGHT