Kernel add1 now actually adds 1, not 2...