Kernel doc clarifications

Is the last commit correct? I could find the implementation for `x in [1,2,3]`.