Cosmetic improvements and nicer README.md.