Fix a bug in the pydsl test case.