category
master
- fixed spelling errors in README and code (fixes #802) - replaced garbled names in property tests (fixes #803)