more informative errors: simplify diagnosis of spurious failures reported by users;