… nor is the user given an opportunity to correct any mistakes to that effect.
The user could simply run the program again.
… nor is the user given an opportunity to correct any mistakes to that effect.
The user could simply run the program again with corrected inputs.