#110: reduce reporting of duplicate errors

This closes #110.