Removed annoying and erroneous print message in an error handler; all error messages now go (correctly) to stderr.