Replace print_string with print_endline.