- fix some documentation
- added lexicographical ordering
- bumped version