Fixes #1374: tearDown() is called despite unmet requirements.