Fix documentation of Kernel.stop_channels