explicit shutdown of kernel; fixed typo in html filename