Further minor edits