Fix kernel example docs