Removed failing (auto-generated!) tests.