Corrections to check_paths_and_times