some more adjustments to handle error-reporting of warnings