Ensured that num_lines is an int