do not report the same problem twice