Fixed kernels, pretty printing.