Tighten  showkernel.js