Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Three changes: * Change wording of error message. * Flush standard error. * Use unified diff.
- Loading branch information
Three changes: * Change wording of error message. * Flush standard error. * Use unified diff.