added htmlspecialchars() to header info in print_debugger()