Fix code.html