bugs reported by DER