Fix tox configuration
Fix count() issue in write_OrderedList