Fix a couple mistakes in tox config