further minor edits