Fix string bug with Node::to_program_string()