Fix small color formating bug in print_string()