minor clarification
note #rumpkernel