Fix an apparent typo in the setup.py file for Spring test