Minor fix for tests.py