explicit shutdown of kernel; fixed type in html filename