Fix tests/bad_2