More on error-reporting and documentation.