Undo inadvert changes to tox.ini