Is $KERNEL a drop or a correction?