error reporting: fix duplicate error messages