Minor formatting and revisions by Tim F