Fix formatting for slides on kernel function