Minor tweaks, mainly making -- into --- in a few places.
Add authors